Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 22 results
Sort by: relevance publication year

Deadlock and Liveness Properties of Petri Nets

BOOK CHAPTER published in Supervisory Control of Concurrent Systems

Decentralized Supervision of Petri Nets

BOOK CHAPTER published in Supervisory Control of Concurrent Systems

Resource Management and Deadlock Avoidance

BOOK CHAPTER published 1998 in Supervisory Control of Discrete Event Systems Using Petri Nets

Authors: John O. Moody | Panos J. Antsaklis

Constraint Transformation and Controller Synthesis

BOOK CHAPTER published 1998 in Supervisory Control of Discrete Event Systems Using Petri Nets

Authors: John O. Moody | Panos J. Antsaklis

Petri Nets

BOOK CHAPTER published 1998 in Supervisory Control of Discrete Event Systems Using Petri Nets

Authors: John O. Moody | Panos J. Antsaklis

Invariant Based Control Design

BOOK CHAPTER published 1998 in Supervisory Control of Discrete Event Systems Using Petri Nets

Authors: John O. Moody | Panos J. Antsaklis

An Introduction to Petri Nets

BOOK CHAPTER published in Supervisory Control of Concurrent Systems

The Supervision of Petri Nets

BOOK CHAPTER published in Supervisory Control of Concurrent Systems

Symbolic Computation and Analysis of Petri Nets

BOOK CHAPTER published 23 January 2013 in Optimal Supervisory Control of Automated Manufacturing Systems

Other Control Specifications

BOOK CHAPTER published 1998 in Supervisory Control of Discrete Event Systems Using Petri Nets

Authors: John O. Moody | Panos J. Antsaklis

Introduction

BOOK CHAPTER published 1998 in Supervisory Control of Discrete Event Systems Using Petri Nets

Authors: John O. Moody | Panos J. Antsaklis

Liveness Enforcement in Petri Nets: A Structural Approach. Part II

BOOK CHAPTER published in Supervisory Control of Concurrent Systems

Liveness Enforcement in Petri Nets: A Structural Approach. Part I

BOOK CHAPTER published in Supervisory Control of Concurrent Systems

Example Applications

BOOK CHAPTER published 1998 in Supervisory Control of Discrete Event Systems Using Petri Nets

Authors: John O. Moody | Panos J. Antsaklis

Summary and Conclusions

BOOK CHAPTER published 1998 in Supervisory Control of Discrete Event Systems Using Petri Nets

Authors: John O. Moody | Panos J. Antsaklis

Uncontrollable and Unobservable Transitions

BOOK CHAPTER published 1998 in Supervisory Control of Discrete Event Systems Using Petri Nets

Authors: John O. Moody | Panos J. Antsaklis

Decentralized and Distributed Supervision of Discrete-Event Systems

BOOK CHAPTER published 2019 in Supervisory Control of Discrete-Event Systems

Authors: W. Murray Wonham | Kai Cai

Perceptual Organisation and the Design of the Man-Computer Interface in Process Control

BOOK CHAPTER published 1976 in Monitoring Behavior and Supervisory Control

Authors: H. T. Smith

Supervisor Design Based on the Theory of Regions

BOOK CHAPTER published 23 January 2013 in Optimal Supervisory Control of Automated Manufacturing Systems

Fast Iterative Supervisor Design

OTHER published 29 June 2020 in Supervisory Control and Scheduling of Resource Allocation Systems